| ||
26. | Negative Ordered Hyper-Resolution as a Proof Procedure for Disjunctive Logic Programming
FUNDAMENTA INFORMATICAE Tom 70 Nr 4 r. 2006, str. 351-366 (Artykuł) Anh Linh Nguyen | |
27. | Reasoning about Epistemic States of Agents by Modal Logic Programming
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE Tom 3900 r. 2006, str. 37-56 (Artykuł konferencyjny) Anh Linh Nguyen | |
28. | The Data Complexity of MDatalog in Basic Modal Logics
LECTURE NOTES IN COMPUTER SCIENCE Tom 4162 r. 2006, str. 729-740 (Artykuł konferencyjny) Anh Linh Nguyen | |
29. | A Tableau System with Automaton-Labelled Formulae for Regular Grammar Logics
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE Tom 3702 r. 2005, str. 138-152 (Artykuł konferencyjny) Rajeev Gore, Anh Linh Nguyen | |
30. | An SLD-Resolution Calculus for Basic Serial Multimodal Logics
LECTURE NOTES IN COMPUTER SCIENCE Tom 3722 r. 2005, str. 151-165 (Artykuł konferencyjny) Anh Linh Nguyen | |
31. | Completeness of Hyper-Resolution via the Semantics of Disjunctive Logic Programs
LECTURE NOTES IN COMPUTER SCIENCE Tom 95 Nr 2 r. 2005, str. 363-369 (Artykuł) Anh Linh Nguyen, Rajeev Gore | |
32. | On Modal Deductive Databases
LECTURE NOTES IN COMPUTER SCIENCE Tom 3631 r. 2005, str. 43-57 (Artykuł konferencyjny) Anh Linh Nguyen | |
33. | The Modal Logic Programming System MProlog
LECTURE NOTES IN COMPUTER SCIENCE Tom 3299 r. 2004, str. 266-278 (Artykuł konferencyjny) Anh Linh Nguyen | |
34. | MProlog: An Extension of Prolog for Modal Logic Programming
LECTURE NOTES IN COMPUTER SCIENCE Tom 3132 r. 2004, str. 469-470 (Artykuł konferencyjny) Anh Linh Nguyen | |
35. | Negative Hyper-Resolution as a Proof Procedure for Disjunctive Logic Programming
LECTURE NOTES IN COMPUTER SCIENCE Tom 3229 r. 2004, str. 565-577 (Artykuł konferencyjny) Anh Linh Nguyen | |
36. | A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs
FUNDAMENTA INFORMATICAE Tom 55 Nr 1 r. 2003, str. 63-100 (Artykuł) Anh Linh Nguyen | |
37. | Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE Tom 2381 r. 2002, str. 206-220 (Artykuł konferencyjny) Anh Linh Nguyen | |
38. | Analytic Tableau Systems and Interpolation for the Modal Logics KB, KDB, K5, KD5
STUDIA LOGICA. AN INTERNATIONAL JOURNAL FOR SYMBOLIC LOGIC Tom 69 Nr 1 r. 2001, str. 41-57 (Artykuł) Anh Linh Nguyen | |
39. | The modal query language MDatalog
FUNDAMENTA INFORMATICAE Tom 46 Nr 4 r. 2001, str. 315-342 (Artykuł) Anh Linh Nguyen | |
40. | Constructing the Least Models for Positive Modal Logic Programs
FUNDAMENTA INFORMATICAE Tom 42 Nr 1 r. 2000, str. 29-60 (Artykuł) Anh Linh Nguyen | |
41. | Sequent-Like Tableau Systems with the Analytic Superformula Property for the Modal Logics KB, KDB, K5, KD5
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE Tom 1847 r. 2000, str. 341-351 (Artykuł) Anh Linh Nguyen | |
| ||
42. | A bisimulation-based method of concept learning for knowledge bases in description logics
w: SoICT 2012 - Proceedings of the Third International Symposium on Information and Communication Technology, str. 241-249, Association of Computing Machinery, r. 2012 (Artykuł konferencyjny) Quang-Thuy Ha, Thi-Lan-Giao Hoang, Hung Son Nguyen, Andrzej Szałas, Thanh-Luong Tran, Anh Linh Nguyen | |
43. | Concept learning for description logic-based snformation systems
w: KSE 2012 - International Conference on Knowledge and Systems Engineering, str. 65-73, Institute of Electrical and Electronics Engineers, r. 2012 (Artykuł konferencyjny) Thanh-Luong Tran, Quang-Thuy Ha, Thi-Lan-Giao Hoang, Hung Son Nguyen, Andrzej Szałas, Anh Linh Nguyen | |
44. | On Bisimulations for Description Logics
w: CS&P'2011, 20th International Workshop on Concurrency, Specification and Programming, str. 99-110, Białystok University of Technology, r. 2011 (Artykuł konferencyjny) Ali Divroodi, Anh Linh Nguyen | |
45. | Extending the Description Horn Logic DHL
w: The 18th Concurrency, Specification and Programming Workshop, str. 419-430, Uniwersytet Warszawski, r. 2009 (Artykuł konferencyjny) Anh Linh Nguyen | |
46. | EXPTIME Tableaux for ALC Using Sound Global Caching
w: Proceedings of Description Logics 2007, str. 299-306, Bozen-Bolzano University Press, r. 2007 (Artykuł konferencyjny) Rajeev Gore, Anh Linh Nguyen | |
47. | Weakening Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity
w: Proceedings of Automated Deduction: Decidability, Complexity, Tractability, str. 32-47, r. 2007 (Artykuł konferencyjny) Anh Linh Nguyen | |
48. | On the Deterministic Horn Fragment of Test-free PDL
w: Advances in Modal Logic, str. 373-392, King's College Publications, r. 2006 (Artykuł) Anh Linh Nguyen | |
49. | On the Complexity of Fragments of Modal Logics
w: Advances in Modal Logic, str. 249-268, King's College, r. 2005 (Artykuł konferencyjny) Anh Linh Nguyen | |
50. | Reasoning about Epistemic States of Agents by Modal Logic Programming
w: Pre-proceedings of the 6th International Workshop on Computational Logic in Multi-Agent Systems CLIMA VI, str. 40-56, r. 2005 (Artykuł konferencyjny) Anh Linh Nguyen |